\begin{tabbing}
$\forall$\=${\it es}$:ES, ${\it Master}$:AbsInterface(chain\_master()), ${\it Config}$:AbsInterface(chain\_config()),\+
\\[0ex]$c$:(E(${\it Config}$)$\rightarrow$E(${\it Master}$)).
\-\\[0ex]config{-}antecedent(${\it es}$;${\it Master}$;${\it Config}$;$c$) $\in$ $\mathbb{P}$
\end{tabbing}